Runtime verification - PDFSEARCH.IO - Document Search Engine

Runtime verification
Results: 98

#	Item
21	RV-Droid: Runtime Verification and Enforcement for Android Applications Yli`es Falcone, Sebastian Currea, Mohamad Jaber Laboratoire d’Informatique de Grenoble - VASCO Team University of Grenoble, Universit´ Add to Reading List Source URL: rv2012.ku.edu.tr - Date: 2012-10-11 06:15:04
22	Microsoft Word - usable-verificationdocx Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-23 23:32:14 Software engineering Software quality Formal methods Quality Theoretical computer science Logic in computer science Software testing Food safety Verification and validation Reliability engineering Software verification Runtime verification
23	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
24	Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-03 22:22:08 Software engineering Formal methods Theoretical computer science Systems engineering Business Logic in computer science Formal verification Verification and validation Requirement Object Process Methodology Runtime verification
25	Observation Strategies for Event Detection with Incidence on Runtime Verification Marco Alberti1 , Pierangelo Dell’Acqua2 , and Lu´ıs Moniz Pereira1 1 Centro de Inteligˆencia Artificial (CENTRIA), Departamento de I Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 09:19:26 Algebraic geometry Field theory Valuation Polar coordinate system
26	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
27	Multiparty Session Types for Runtime Verification Rumyana Neykova OOI: verification challenges  Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-14 05:07:33 Formal methods Logic in computer science Communications protocol Data transmission Cryptographic protocol Runtime verification ANTLR
28	Introduction Enforcement of timed properties Enforcement of safety properties Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-04 10:58:42 Logic in computer science Runtime verification
29	Adaptive Runtime Verification Radu Grosu Vienna University of Technology in collaboration with: Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-18 06:21:54 Logic in computer science Runtime verification Succ Smolka
30	Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri Add to Reading List Source URL: homepage.lnu.se Language: English - Date: 2015-06-01 09:34:52 Metaphysics Complex systems theory Philosophy Formal methods Theoretical computer science Logic in computer science Runtime verification Model checking Complex adaptive system System Emergence Field